(0
 (
  ("(x 2)" 3 29)
  ("(x 3)" 29 38)
  ("(x 4)" 38 47)
  ("(x 5)" 47 58)
  ("(x 6)" 58 67)
  ("(x 5)" 67 98)
  ("(x 6)" 114 123)
  ("(x 5)" 123 126)
  ("(x 4)" 126 128)
  ("(x 3)" 128 130)
  ("(x 2)" 130 132)
  ("(x 1)" 132 154)
  ("(x stable)" 4 16)
  ("(x down)" 16 63)
  ("(x up)" 63 74)
  ("(x stable)" 74 76)
  ("(x up)" 76 90)
  ("(x stable)" 90 95)
  ("(x down)" 95 98)
  ("(x up)" 115 143)
  ("(x stable)" 143 151)
  ("(x down)" 151 154)
  ("(y 1)" 3 50)
  ("(y 2)" 50 60)
  ("(y 3)" 60 66)
  ("(y 4)" 66 70)
  ("(y 5)" 70 75)
  ("(y 6)" 75 98)
  ("(y 5)" 114 154)
  ("(y stable)" 4 28)
  ("(y up)" 28 35)
  ("(y stable)" 35 40)
  ("(y down)" 40 93)
  ("(y up)" 93 98)
  ("(y up)" 115 117)
  ("(y stable)" 117 126)
  ("(y up)" 126 143)
  ("(y stable)" 143 150)
  ("(y down)" 150 154)
 ))
(1
 (
  ("(x 1)" 3 15)
  ("(x 2)" 15 21)
  ("(x 3)" 21 24)
  ("(x 4)" 24 28)
  ("(x 5)" 28 36)
  ("(x 6)" 36 51)
  ("(x 5)" 51 59)
  ("(x 4)" 59 80)
  ("(x 6)" 96 104)
  ("(x 5)" 104 106)
  ("(x 4)" 106 108)
  ("(x 3)" 108 110)
  ("(x 2)" 110 113)
  ("(x 1)" 113 129)
  ("(x down)" 4 44)
  ("(x stable)" 44 46)
  ("(x up)" 46 67)
  ("(x stable)" 67 75)
  ("(x up)" 75 80)
  ("(x up)" 97 124)
  ("(x down)" 124 129)
  ("(y 1)" 3 36)
  ("(y 2)" 36 44)
  ("(y 3)" 44 47)
  ("(y 4)" 47 51)
  ("(y 5)" 51 57)
  ("(y 6)" 57 80)
  ("(y 5)" 96 106)
  ("(y 4)" 106 129)
  ("(y up)" 4 21)
  ("(y stable)" 21 24)
  ("(y down)" 24 70)
  ("(y stable)" 70 76)
  ("(y up)" 76 80)
  ("(y up)" 97 122)
  ("(y stable)" 122 124)
  ("(y down)" 124 129)
 ))
(2
 (
  ("(x 1)" 3 19)
  ("(x 2)" 19 23)
  ("(x 3)" 23 28)
  ("(x 4)" 28 34)
  ("(x 5)" 34 55)
  ("(x 4)" 55 73)
  ("(x 6)" 89 103)
  ("(x 5)" 103 106)
  ("(x 4)" 106 109)
  ("(x 3)" 109 111)
  ("(x 2)" 111 116)
  ("(x 1)" 116 126)
  ("(x down)" 4 43)
  ("(x stable)" 43 45)
  ("(x up)" 45 62)
  ("(x stable)" 62 69)
  ("(x down)" 69 73)
  ("(x down)" 90 93)
  ("(x stable)" 93 94)
  ("(x up)" 94 126)
  ("(y 1)" 3 33)
  ("(y 2)" 33 40)
  ("(y 3)" 40 44)
  ("(y 4)" 44 47)
  ("(y 5)" 47 51)
  ("(y 6)" 51 73)
  ("(y 4)" 89 126)
  ("(y up)" 4 19)
  ("(y stable)" 19 20)
  ("(y down)" 20 64)
  ("(y stable)" 64 65)
  ("(y up)" 65 73)
  ("(y up)" 90 118)
  ("(y stable)" 118 126)
 ))
(3
 (
  ("(x 1)" 3 13)
  ("(x 2)" 13 16)
  ("(x 3)" 16 20)
  ("(x 4)" 20 24)
  ("(x 5)" 24 31)
  ("(x 6)" 31 39)
  ("(x 5)" 39 47)
  ("(x 4)" 47 57)
  ("(x 3)" 57 61)
  ("(x 4)" 61 64)
  ("(x 6)" 80 85)
  ("(x 5)" 85 87)
  ("(x 4)" 87 89)
  ("(x 3)" 89 91)
  ("(x 2)" 91 94)
  ("(x 1)" 94 99)
  ("(x down)" 4 35)
  ("(x stable)" 35 36)
  ("(x up)" 36 59)
  ("(x stable)" 59 60)
  ("(x down)" 60 64)
  ("(x up)" 81 99)
  ("(y 1)" 3 25)
  ("(y 2)" 25 32)
  ("(y 3)" 32 37)
  ("(y 4)" 37 41)
  ("(y 5)" 41 46)
  ("(y 6)" 46 64)
  ("(y 5)" 80 81)
  ("(y 4)" 81 99)
  ("(y up)" 4 12)
  ("(y down)" 12 59)
  ("(y stable)" 59 60)
  ("(y up)" 60 64)
  ("(y up)" 81 95)
  ("(y stable)" 95 99)
 ))
(4
 (
  ("(x 2)" 3 6)
  ("(x 3)" 6 9)
  ("(x 4)" 9 15)
  ("(x 5)" 15 37)
  ("(x 4)" 37 43)
  ("(x 3)" 43 55)
  ("(x 4)" 55 64)
  ("(x 6)" 80 89)
  ("(x 5)" 89 92)
  ("(x 4)" 92 94)
  ("(x 3)" 94 95)
  ("(x 2)" 95 98)
  ("(x 1)" 98 115)
  ("(x down)" 4 20)
  ("(x stable)" 20 24)
  ("(x down)" 24 31)
  ("(x stable)" 31 33)
  ("(x up)" 33 48)
  ("(x stable)" 48 50)
  ("(x down)" 50 64)
  ("(x up)" 81 115)
  ("(y 1)" 3 26)
  ("(y 2)" 26 30)
  ("(y 3)" 30 33)
  ("(y 4)" 33 36)
  ("(y 5)" 36 42)
  ("(y 6)" 42 64)
  ("(y 4)" 80 95)
  ("(y 3)" 95 115)
  ("(y up)" 4 10)
  ("(y stable)" 10 11)
  ("(y down)" 11 57)
  ("(y stable)" 57 58)
  ("(y up)" 58 64)
  ("(y up)" 81 105)
  ("(y stable)" 105 110)
  ("(y up)" 110 115)
 ))
(5
 (
  ("(x 1)" 3 10)
  ("(x 2)" 10 13)
  ("(x 3)" 13 17)
  ("(x 4)" 17 21)
  ("(x 5)" 21 26)
  ("(x 6)" 26 41)
  ("(x 5)" 41 44)
  ("(x 4)" 44 48)
  ("(x 3)" 48 55)
  ("(x 2)" 55 62)
  ("(x 3)" 62 64)
  ("(x 6)" 80 84)
  ("(x 5)" 84 86)
  ("(x 4)" 86 87)
  ("(x 3)" 87 89)
  ("(x 2)" 89 91)
  ("(x 1)" 91 99)
  ("(x down)" 4 34)
  ("(x stable)" 34 35)
  ("(x up)" 35 59)
  ("(x stable)" 59 60)
  ("(x down)" 60 64)
  ("(x up)" 81 98)
  ("(x stable)" 98 99)
  ("(y 1)" 3 27)
  ("(y 2)" 27 33)
  ("(y 3)" 33 37)
  ("(y 4)" 37 41)
  ("(y 5)" 41 47)
  ("(y 6)" 47 64)
  ("(y 5)" 80 87)
  ("(y 4)" 87 99)
  ("(y up)" 4 11)
  ("(y stable)" 11 12)
  ("(y down)" 12 58)
  ("(y stable)" 58 62)
  ("(y up)" 62 64)
  ("(y up)" 81 97)
  ("(y stable)" 97 98)
  ("(y down)" 98 99)
 ))
(6
 (
  ("(x 1)" 3 15)
  ("(x 2)" 15 19)
  ("(x 3)" 19 22)
  ("(x 4)" 22 26)
  ("(x 5)" 26 31)
  ("(x 6)" 31 46)
  ("(x 5)" 46 54)
  ("(x 4)" 54 59)
  ("(x 3)" 59 64)
  ("(x 2)" 64 79)
  ("(x 3)" 79 82)
  ("(x 6)" 98 107)
  ("(x 5)" 107 109)
  ("(x 4)" 109 111)
  ("(x 3)" 111 113)
  ("(x 2)" 113 116)
  ("(x 1)" 116 122)
  ("(x down)" 4 38)
  ("(x stable)" 38 40)
  ("(x up)" 40 70)
  ("(x stable)" 70 76)
  ("(x down)" 76 82)
  ("(x up)" 99 122)
  ("(y 1)" 3 30)
  ("(y 2)" 30 41)
  ("(y 3)" 41 47)
  ("(y 4)" 47 53)
  ("(y 5)" 53 60)
  ("(y 6)" 60 82)
  ("(y 5)" 98 101)
  ("(y 4)" 101 115)
  ("(y 3)" 115 122)
  ("(y up)" 4 16)
  ("(y stable)" 16 17)
  ("(y down)" 17 80)
  ("(y stable)" 80 82)
  ("(y up)" 99 122)
 ))
(7
 (
  ("(x 1)" 3 13)
  ("(x 2)" 13 16)
  ("(x 3)" 16 20)
  ("(x 4)" 20 24)
  ("(x 5)" 24 31)
  ("(x 6)" 31 41)
  ("(x 5)" 41 48)
  ("(x 4)" 48 56)
  ("(x 3)" 56 74)
  ("(x 6)" 90 97)
  ("(x 5)" 97 99)
  ("(x 4)" 99 100)
  ("(x 3)" 100 102)
  ("(x 2)" 102 104)
  ("(x 1)" 104 113)
  ("(x down)" 4 36)
  ("(x stable)" 36 37)
  ("(x up)" 37 58)
  ("(x stable)" 58 74)
  ("(x up)" 91 113)
  ("(y 1)" 3 31)
  ("(y 2)" 31 37)
  ("(y 3)" 37 40)
  ("(y 4)" 40 44)
  ("(y 5)" 44 51)
  ("(y 6)" 51 74)
  ("(y 5)" 90 101)
  ("(y 4)" 101 113)
  ("(y up)" 4 18)
  ("(y stable)" 18 19)
  ("(y down)" 19 62)
  ("(y stable)" 62 74)
  ("(y stable)" 91 96)
  ("(y up)" 96 113)
 ))
(8
 (
  ("(x 1)" 3 10)
  ("(x 2)" 10 17)
  ("(x 3)" 17 21)
  ("(x 4)" 21 27)
  ("(x 5)" 27 69)
  ("(x 6)" 85 92)
  ("(x 5)" 92 94)
  ("(x 4)" 94 95)
  ("(x 3)" 95 96)
  ("(x 2)" 96 98)
  ("(x 1)" 98 108)
  ("(x down)" 4 34)
  ("(x stable)" 34 39)
  ("(x up)" 39 50)
  ("(x stable)" 50 65)
  ("(x down)" 65 69)
  ("(x up)" 86 108)
  ("(y 1)" 3 26)
  ("(y 2)" 26 32)
  ("(y 3)" 32 37)
  ("(y 4)" 37 42)
  ("(y 5)" 42 48)
  ("(y 6)" 48 69)
  ("(y 4)" 85 106)
  ("(y 3)" 106 107)
  ("(y 4)" 107 108)
  ("(y up)" 4 11)
  ("(y stable)" 11 14)
  ("(y down)" 14 60)
  ("(y stable)" 60 62)
  ("(y up)" 62 69)
  ("(y up)" 86 107)
  ("(y down)" 107 108)
 ))
(9
 (
  ("(x 1)" 3 15)
  ("(x 2)" 15 19)
  ("(x 3)" 19 22)
  ("(x 4)" 22 25)
  ("(x 5)" 25 34)
  ("(x 6)" 34 41)
  ("(x 5)" 41 47)
  ("(x 4)" 47 50)
  ("(x 3)" 50 53)
  ("(x 2)" 53 62)
  ("(x 3)" 62 68)
  ("(x 4)" 68 75)
  ("(x 6)" 91 100)
  ("(x 5)" 100 102)
  ("(x 4)" 102 104)
  ("(x 3)" 104 106)
  ("(x 2)" 106 109)
  ("(x 1)" 109 113)
  ("(x down)" 4 38)
  ("(x stable)" 38 39)
  ("(x up)" 39 57)
  ("(x stable)" 57 58)
  ("(x down)" 58 75)
  ("(x stable)" 92 93)
  ("(x up)" 93 113)
  ("(y 1)" 3 32)
  ("(y 2)" 32 41)
  ("(y 3)" 41 45)
  ("(y 4)" 45 49)
  ("(y 5)" 49 54)
  ("(y 6)" 54 75)
  ("(y 5)" 91 101)
  ("(y 4)" 101 113)
  ("(y up)" 4 13)
  ("(y stable)" 13 18)
  ("(y down)" 18 66)
  ("(y stable)" 66 67)
  ("(y up)" 67 75)
  ("(y up)" 92 113)
 ))
(10
 (
  ("(x 1)" 3 16)
  ("(x 2)" 16 20)
  ("(x 3)" 20 23)
  ("(x 4)" 23 26)
  ("(x 5)" 26 32)
  ("(x 6)" 32 46)
  ("(x 5)" 46 51)
  ("(x 4)" 51 56)
  ("(x 3)" 56 77)
  ("(x 4)" 77 78)
  ("(x 6)" 94 103)
  ("(x 5)" 103 106)
  ("(x 4)" 106 107)
  ("(x 3)" 107 109)
  ("(x 2)" 109 113)
  ("(x 1)" 113 124)
  ("(x down)" 4 40)
  ("(x stable)" 40 41)
  ("(x up)" 41 65)
  ("(x stable)" 65 68)
  ("(x down)" 68 78)
  ("(x stable)" 95 96)
  ("(x up)" 96 124)
  ("(y 1)" 3 29)
  ("(y 2)" 29 38)
  ("(y 3)" 38 43)
  ("(y 4)" 43 48)
  ("(y 5)" 48 53)
  ("(y 6)" 53 78)
  ("(y 5)" 94 95)
  ("(y 4)" 95 109)
  ("(y 3)" 109 117)
  ("(y 4)" 117 124)
  ("(y up)" 4 9)
  ("(y stable)" 9 15)
  ("(y down)" 15 67)
  ("(y stable)" 67 68)
  ("(y up)" 68 78)
  ("(y up)" 95 112)
  ("(y stable)" 112 115)
  ("(y down)" 115 124)
 ))
(11
 (
  ("(x 1)" 3 19)
  ("(x 2)" 19 24)
  ("(x 3)" 24 29)
  ("(x 4)" 29 34)
  ("(x 5)" 34 41)
  ("(x 6)" 41 48)
  ("(x 5)" 48 55)
  ("(x 4)" 55 89)
  ("(x 6)" 105 113)
  ("(x 5)" 113 115)
  ("(x 4)" 115 117)
  ("(x 3)" 117 119)
  ("(x 2)" 119 125)
  ("(x 1)" 125 126)
  ("(x down)" 4 45)
  ("(x up)" 45 65)
  ("(x stable)" 65 76)
  ("(x down)" 76 83)
  ("(x stable)" 83 88)
  ("(x down)" 88 89)
  ("(x up)" 106 126)
  ("(y 1)" 3 37)
  ("(y 2)" 37 43)
  ("(y 3)" 43 47)
  ("(y 4)" 47 51)
  ("(y 5)" 51 58)
  ("(y 6)" 58 89)
  ("(y 4)" 105 126)
  ("(y up)" 4 22)
  ("(y stable)" 22 26)
  ("(y down)" 26 69)
  ("(y stable)" 69 73)
  ("(y down)" 73 80)
  ("(y stable)" 80 83)
  ("(y up)" 83 89)
  ("(y stable)" 106 122)
  ("(y down)" 122 126)
 ))
(12
 (
  ("(x 1)" 3 18)
  ("(x 2)" 18 21)
  ("(x 3)" 21 23)
  ("(x 4)" 23 26)
  ("(x 5)" 26 31)
  ("(x 6)" 31 45)
  ("(x 5)" 45 51)
  ("(x 4)" 51 85)
  ("(x 6)" 101 105)
  ("(x 5)" 105 107)
  ("(x 4)" 107 109)
  ("(x 3)" 109 112)
  ("(x 2)" 112 115)
  ("(x 1)" 115 121)
  ("(x down)" 4 38)
  ("(x stable)" 38 39)
  ("(x up)" 39 59)
  ("(x stable)" 59 62)
  ("(x down)" 62 69)
  ("(x stable)" 69 84)
  ("(x down)" 84 85)
  ("(x up)" 102 121)
  ("(y 1)" 3 34)
  ("(y 2)" 34 42)
  ("(y 3)" 42 46)
  ("(y 4)" 46 51)
  ("(y 5)" 51 58)
  ("(y 6)" 58 85)
  ("(y 4)" 101 121)
  ("(y up)" 4 19)
  ("(y stable)" 19 21)
  ("(y down)" 21 68)
  ("(y stable)" 68 81)
  ("(y up)" 81 85)
  ("(y up)" 102 117)
  ("(y stable)" 117 121)
 ))
(13
 (
  ("(x 1)" 3 23)
  ("(x 2)" 23 28)
  ("(x 3)" 28 32)
  ("(x 4)" 32 38)
  ("(x 5)" 38 46)
  ("(x 6)" 46 54)
  ("(x 5)" 54 74)
  ("(x 4)" 74 91)
  ("(x 6)" 107 113)
  ("(x 5)" 113 115)
  ("(x 4)" 115 117)
  ("(x 3)" 117 119)
  ("(x 2)" 119 129)
  ("(x down)" 4 50)
  ("(x stable)" 50 52)
  ("(x up)" 52 69)
  ("(x stable)" 69 72)
  ("(x up)" 72 79)
  ("(x stable)" 79 91)
  ("(x up)" 108 126)
  ("(x stable)" 126 129)
  ("(y 2)" 3 14)
  ("(y 1)" 14 45)
  ("(y 2)" 45 52)
  ("(y 3)" 52 56)
  ("(y 4)" 56 59)
  ("(y 5)" 59 64)
  ("(y 6)" 64 91)
  ("(y 5)" 107 129)
  ("(y up)" 4 6)
  ("(y stable)" 6 8)
  ("(y up)" 8 31)
  ("(y stable)" 31 37)
  ("(y down)" 37 76)
  ("(y stable)" 76 80)
  ("(y up)" 80 91)
  ("(y down)" 108 113)
  ("(y stable)" 113 129)
 ))
(14
 (
  ("(x 1)" 3 18)
  ("(x 2)" 18 21)
  ("(x 3)" 21 23)
  ("(x 4)" 23 26)
  ("(x 5)" 26 31)
  ("(x 6)" 31 43)
  ("(x 5)" 43 51)
  ("(x 4)" 51 70)
  ("(x 6)" 86 90)
  ("(x 5)" 90 92)
  ("(x 4)" 92 93)
  ("(x 3)" 93 95)
  ("(x 2)" 95 98)
  ("(x 1)" 98 102)
  ("(x down)" 4 37)
  ("(x stable)" 37 38)
  ("(x up)" 38 59)
  ("(x stable)" 59 66)
  ("(x down)" 66 70)
  ("(x up)" 87 102)
  ("(y 2)" 3 4)
  ("(y 1)" 4 29)
  ("(y 2)" 29 38)
  ("(y 3)" 38 42)
  ("(y 4)" 42 46)
  ("(y 5)" 46 52)
  ("(y 6)" 52 70)
  ("(y 5)" 86 87)
  ("(y 4)" 87 102)
  ("(y up)" 4 17)
  ("(y stable)" 17 18)
  ("(y down)" 18 65)
  ("(y stable)" 65 66)
  ("(y up)" 66 70)
  ("(y up)" 87 102)
 ))
(15
 (
  ("(x 1)" 3 15)
  ("(x 2)" 15 20)
  ("(x 3)" 20 24)
  ("(x 4)" 24 28)
  ("(x 5)" 28 53)
  ("(x 4)" 53 62)
  ("(x 3)" 62 77)
  ("(x 6)" 93 103)
  ("(x 5)" 103 105)
  ("(x 4)" 105 106)
  ("(x 3)" 106 108)
  ("(x 2)" 108 110)
  ("(x 1)" 110 119)
  ("(x down)" 4 39)
  ("(x stable)" 39 42)
  ("(x up)" 42 75)
  ("(x stable)" 75 77)
  ("(x down)" 94 96)
  ("(x stable)" 96 97)
  ("(x up)" 97 119)
  ("(y 1)" 3 32)
  ("(y 2)" 32 41)
  ("(y 3)" 41 45)
  ("(y 4)" 45 49)
  ("(y 5)" 49 55)
  ("(y 6)" 55 77)
  ("(y 4)" 93 111)
  ("(y 3)" 111 119)
  ("(y up)" 4 15)
  ("(y stable)" 15 19)
  ("(y down)" 19 70)
  ("(y stable)" 70 72)
  ("(y up)" 72 77)
  ("(y up)" 94 119)
 ))
(16
 (
  ("(x 1)" 3 19)
  ("(x 2)" 19 25)
  ("(x 3)" 25 30)
  ("(x 4)" 30 35)
  ("(x 5)" 35 43)
  ("(x 6)" 43 54)
  ("(x 5)" 54 64)
  ("(x 4)" 64 97)
  ("(x 6)" 113 122)
  ("(x 5)" 122 123)
  ("(x 4)" 123 125)
  ("(x 3)" 125 126)
  ("(x 2)" 126 129)
  ("(x 1)" 129 143)
  ("(x down)" 4 48)
  ("(x stable)" 48 50)
  ("(x up)" 50 75)
  ("(x stable)" 75 97)
  ("(x up)" 114 139)
  ("(x stable)" 139 143)
  ("(y 1)" 3 39)
  ("(y 2)" 39 46)
  ("(y 3)" 46 51)
  ("(y 4)" 51 56)
  ("(y 5)" 56 63)
  ("(y 6)" 63 97)
  ("(y 4)" 113 127)
  ("(y 3)" 127 143)
  ("(y up)" 4 24)
  ("(y stable)" 24 25)
  ("(y down)" 25 84)
  ("(y stable)" 84 92)
  ("(y up)" 92 97)
  ("(y up)" 114 131)
  ("(y stable)" 131 132)
  ("(y up)" 132 139)
  ("(y stable)" 139 143)
 ))
(17
 (
  ("(x 1)" 3 13)
  ("(x 2)" 13 18)
  ("(x 3)" 18 21)
  ("(x 4)" 21 25)
  ("(x 5)" 25 31)
  ("(x 6)" 31 38)
  ("(x 5)" 38 44)
  ("(x 4)" 44 71)
  ("(x 5)" 71 74)
  ("(x 6)" 90 100)
  ("(x 5)" 100 102)
  ("(x 4)" 102 104)
  ("(x 3)" 104 106)
  ("(x 2)" 106 109)
  ("(x 1)" 109 119)
  ("(x down)" 4 35)
  ("(x up)" 35 54)
  ("(x stable)" 54 61)
  ("(x down)" 61 74)
  ("(x down)" 91 92)
  ("(x stable)" 92 93)
  ("(x up)" 93 119)
  ("(y 1)" 3 31)
  ("(y 2)" 31 36)
  ("(y 3)" 36 39)
  ("(y 4)" 39 43)
  ("(y 5)" 43 51)
  ("(y 6)" 51 74)
  ("(y 5)" 90 99)
  ("(y 4)" 99 119)
  ("(y up)" 4 13)
  ("(y stable)" 13 15)
  ("(y down)" 15 62)
  ("(y stable)" 62 66)
  ("(y up)" 66 74)
  ("(y up)" 91 117)
  ("(y stable)" 117 119)
 ))
(18
 (
  ("(x 1)" 3 21)
  ("(x 2)" 21 25)
  ("(x 3)" 25 28)
  ("(x 4)" 28 32)
  ("(x 5)" 32 38)
  ("(x 6)" 38 51)
  ("(x 5)" 51 58)
  ("(x 4)" 58 81)
  ("(x 6)" 97 104)
  ("(x 5)" 104 106)
  ("(x 4)" 106 109)
  ("(x 3)" 109 111)
  ("(x 2)" 111 115)
  ("(x 1)" 115 118)
  ("(x stable)" 4 6)
  ("(x down)" 6 45)
  ("(x stable)" 45 46)
  ("(x up)" 46 68)
  ("(x stable)" 68 73)
  ("(x down)" 73 81)
  ("(x up)" 98 118)
  ("(y 1)" 3 38)
  ("(y 2)" 38 46)
  ("(y 3)" 46 49)
  ("(y 4)" 49 53)
  ("(y 5)" 53 58)
  ("(y 6)" 58 81)
  ("(y 5)" 97 111)
  ("(y 4)" 111 118)
  ("(y stable)" 4 9)
  ("(y up)" 9 21)
  ("(y stable)" 21 28)
  ("(y down)" 28 73)
  ("(y up)" 73 81)
  ("(y up)" 98 118)
 ))
(19
 (
  ("(x 1)" 3 17)
  ("(x 2)" 17 21)
  ("(x 3)" 21 24)
  ("(x 4)" 24 28)
  ("(x 5)" 28 34)
  ("(x 6)" 34 48)
  ("(x 5)" 48 53)
  ("(x 4)" 53 78)
  ("(x 5)" 78 80)
  ("(x 6)" 96 101)
  ("(x 5)" 101 104)
  ("(x 4)" 104 105)
  ("(x 3)" 105 107)
  ("(x 2)" 107 109)
  ("(x 1)" 109 117)
  ("(x down)" 4 42)
  ("(x stable)" 42 43)
  ("(x up)" 43 61)
  ("(x stable)" 61 62)
  ("(x down)" 62 69)
  ("(x stable)" 69 70)
  ("(x down)" 70 80)
  ("(x up)" 97 117)
  ("(y 1)" 3 34)
  ("(y 2)" 34 43)
  ("(y 3)" 43 47)
  ("(y 4)" 47 51)
  ("(y 5)" 51 57)
  ("(y 6)" 57 80)
  ("(y 5)" 96 108)
  ("(y 4)" 108 117)
  ("(y up)" 4 15)
  ("(y stable)" 15 20)
  ("(y down)" 20 70)
  ("(y stable)" 70 73)
  ("(y up)" 73 80)
  ("(y up)" 97 117)
 ))
(20
 (
  ("(x 1)" 3 25)
  ("(x 2)" 25 31)
  ("(x 3)" 31 36)
  ("(x 4)" 36 41)
  ("(x 5)" 41 50)
  ("(x 6)" 50 56)
  ("(x 5)" 56 67)
  ("(x 4)" 67 88)
  ("(x 5)" 88 93)
  ("(x 6)" 109 117)
  ("(x 5)" 117 120)
  ("(x 4)" 120 122)
  ("(x 3)" 122 125)
  ("(x 2)" 125 129)
  ("(x 1)" 129 132)
  ("(x down)" 4 53)
  ("(x stable)" 53 54)
  ("(x up)" 54 73)
  ("(x stable)" 73 84)
  ("(x down)" 84 93)
  ("(x up)" 110 132)
  ("(y 2)" 3 12)
  ("(y 1)" 12 43)
  ("(y 2)" 43 51)
  ("(y 3)" 51 55)
  ("(y 4)" 55 60)
  ("(y 5)" 60 66)
  ("(y 6)" 66 93)
  ("(y 5)" 109 115)
  ("(y 4)" 115 132)
  ("(y up)" 4 26)
  ("(y stable)" 26 33)
  ("(y down)" 33 78)
  ("(y stable)" 78 85)
  ("(y down)" 85 90)
  ("(y stable)" 90 92)
  ("(y up)" 92 93)
  ("(y up)" 110 132)
 ))
(21
 (
  ("(x 1)" 3 16)
  ("(x 2)" 16 19)
  ("(x 3)" 19 22)
  ("(x 4)" 22 26)
  ("(x 5)" 26 32)
  ("(x 6)" 32 44)
  ("(x 5)" 44 51)
  ("(x 4)" 51 61)
  ("(x 3)" 61 68)
  ("(x 4)" 68 78)
  ("(x 6)" 94 102)
  ("(x 5)" 102 104)
  ("(x 4)" 104 105)
  ("(x 3)" 105 107)
  ("(x 2)" 107 109)
  ("(x 1)" 109 118)
  ("(x down)" 4 39)
  ("(x up)" 39 62)
  ("(x stable)" 62 68)
  ("(x down)" 68 78)
  ("(x stable)" 95 96)
  ("(x up)" 96 118)
  ("(y 1)" 3 33)
  ("(y 2)" 33 39)
  ("(y 3)" 39 42)
  ("(y 4)" 42 46)
  ("(y 5)" 46 54)
  ("(y 6)" 54 78)
  ("(y 5)" 94 101)
  ("(y 4)" 101 118)
  ("(y up)" 4 15)
  ("(y stable)" 15 20)
  ("(y down)" 20 71)
  ("(y stable)" 71 75)
  ("(y up)" 75 78)
  ("(y up)" 95 115)
  ("(y stable)" 115 118)
 ))
(22
 (
  ("(x 1)" 3 14)
  ("(x 2)" 14 19)
  ("(x 3)" 19 23)
  ("(x 4)" 23 27)
  ("(x 5)" 27 46)
  ("(x 4)" 46 63)
  ("(x 5)" 63 67)
  ("(x 6)" 83 89)
  ("(x 5)" 89 91)
  ("(x 4)" 91 92)
  ("(x 3)" 92 94)
  ("(x 2)" 94 96)
  ("(x 1)" 96 101)
  ("(x down)" 4 36)
  ("(x stable)" 36 37)
  ("(x up)" 37 53)
  ("(x stable)" 53 58)
  ("(x down)" 58 67)
  ("(x up)" 84 101)
  ("(y 1)" 3 27)
  ("(y 2)" 27 35)
  ("(y 3)" 35 38)
  ("(y 4)" 38 41)
  ("(y 5)" 41 47)
  ("(y 6)" 47 67)
  ("(y 4)" 83 101)
  ("(y up)" 4 16)
  ("(y down)" 16 62)
  ("(y stable)" 62 63)
  ("(y up)" 63 67)
  ("(y up)" 84 97)
  ("(y stable)" 97 101)
 ))
